A Pointless Theory of Space Based on Strong Connection and Congruence
نویسندگان
چکیده
We present a logical theory of space where only tridimensional regions are assumed in the domain. Three distinct primitives are used to describe their mereological, topological and morphological properties: mereology is described by a parthood relation satisfying the axioms of Closed Extensional Mereology; topology is described by means of a "simple region" predicate, by which a relation of “strong connection” between regions having at least a surface in common is defined; morphology is described by means of a "congruence" primitive, whose axioms exploit Tarski's analogy between points and spheres.
منابع مشابه
The Coceivability of a Disembodied Personal Life Beyond Death Based on David Lund’s Views
As science focuses exclusively on the physical, it seems to assume that the brain has a key role in the origin if not also the constitution of our consciousness; and thus the destruction of the brain, the nervous system, and the body makes it pointless or even absurd to think of any personal consciousness after death. But one need not be convinced by this. However, any effort to investigate a p...
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملSocial Logic of Cities and Urban Tourism Accessibility; Space Syntax Analysis of Kuala Lumpur City Centre
Tourism is a progressively major part of economies of urban areas. Urban regeneration as a subcategory of urban tourism has been the center of many urban projects. This study addresses the role of space syntax theory as an analytical tool and design aided tool in urban regeneration. For this purpose, we examined the development of a square in the Kuala Lumpur City Center (KLCC) using space synt...
متن کاملThe Optimization of Open- Space Based on Social Theory in Iran
The usage of social theories in the human-built environment caused to enhance life quality. It may consist of human needs in residential areas. Sometimes, building codes can help to exist accepted life space, but the building codes do not have basic theory such as actual open space in residential plots. The study was an attempt to represent a new approach in urban land subdivision and the relat...
متن کامل